R05. Product line development consistency check

Feature model consistency check rule

Error

Rule	Error message	Error judgment condition
The number of child elements of the group is less than the lower limit of selection	The number of features that can be selected simultaneously (m) is less than the lower limit of multiplicity (n).	The number of features that can be selected simultaneously in a feature group is less than the lower limit of selection defined in the feature group.
The number of required selector elements of the group exceeds the selection limit.	The number of features that must be selected (m items) exceeds the multiplicity limit (n items).	The number of mandatory selection features belonging to a feature group is greater than the maximum selection limit defined in the feature group.
Exclusive relationship between required features	Exclusive relationship with x is not established. These are always selected at the same time.	Due to the relationship between the feature hierarchy and type, an exclusive relationship is defined between features that require simultaneous selection
Dependencies between alternative features	Dependencies with x do not hold. These cannot be selected at the same time.	Due to the relationship between the feature hierarchy and type, a dependency relationship is defined between features that cannot be selected simultaneously.
Exclusive relationship between parent and child	Inter-feature constraint cannot be set between x and parental relationship x.	An exclusive relationship is defined between features that have a parent-child (including grandchild) relationship in the feature hierarchy structure
Dependency between parent and child	Inter-feature constraint cannot be set between x and parental relationship.	Dependency is defined between features that have a parent-child (including grandchild) relationship in the feature hierarchy.
Invalid group selection limit	Set a value of 0 or more to the lower limit.	Lower limit of feature group <0
〃	Set a value other than 0 for the upper limit.	Upper limit of feature group = 0
〃	Set a value larger than the lower limit for the upper limit.	Lower limit of feature group> Upper limit and upper limit >= 0
Self constraint	Inter-feature constraint by self-reference cannot be set.	Self-referenced inter-feature constraint is defined
Multiple constraints	Cannot have multiple constraints with x.	Multiple constraints are defined between the same features
Violation of feature naming convention	Feature names or unique names cannot contain "[", "]".	Unique name of the feature, or the name contains prohibited characters

Warning

Rule	Error message	Error judgment condition
No alternative features available to select	Alternative features available to select are undefined.	The alternative feature does not have a sibling alternative feature
No selectable disjunction features	Selectable disjunction features are undefined.	There is no sibling logical sum feature in the logical sum feature
Conflicts with initially selected alternate features	Multiple alternate features have default selections specified.	Among alternative features that are siblings, there are multiple alternative features whose initial selection state is ON
Violation of uniqueness constraint for feature distinguished name	The feature name is not unique. Please change the name or specify a unique name.	Feature distinguished name is not unique
〃	The unique name of the feature is not unique. Please change the unique name.	〃